261. Test pattern generation using Boolean proof engines
پدیدآورنده: / by Rolf Drechsler ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Integrated circuits--Verification,Computer software--Verification,Computer algorithms.,Algebra, Boolean.
رده :
TK
,
7874
.
58
,.
T47
,
2009
262. The Essentials of booiean algebra
پدیدآورنده: / Alan David Solomon
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Algebra, Boolean
رده :
QA
10
.
3
.
S64
263. The algebra of probable inference
پدیدآورنده: Cox, Richard Threlkeld
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Probabilities,، Algebra, Boolean,، Information theory
رده :
QA
273
.
C77
264. The algebra of probable inference
پدیدآورنده:
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Probabilities,Algebra, Boolean,Information theory
رده :
QA
273
.
C77
265. The algebra of probable inference
پدیدآورنده: Cox, Richard Threlkeld
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Probabilities,، Algebra, Boolean,، Information theory
رده :
QA
273
.
C77
266. The comparative method
پدیدآورنده: Charles C. Ragin,Title
کتابخانه: کتابخانه و مرکز اسناد پژوهشگاه فرهنگ، هنر و ارتباطات (تهران)
موضوع: Social sciences- Comparative method,Algebra, Boolean
رده :
H
.
R216
61
1987
267. The complete dimension theory of partially ordered systems with equivalence and orthogonality
پدیدآورنده: Goodearl, Kenneth Ralph, 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Lattice theory,، Boolean rings,، Partial algebras,، Modules )Algebra(
رده :
QA
3
.
A475
no
.
831
268. The complexity of Boolean functions
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algebra, Boolean. ;
269. The complexity of Boolean functions
پدیدآورنده: / Ingo Wegener
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Algebra, Boolean,Computational complexity
رده :
QA10
.
3
.
W44
1987
270. The complexity of Boolean functions
پدیدآورنده: / Ingo Wegener
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Algebra, Boolean,Computational complexity
رده :
QA
10
.
3
.
W44
1987
271. The complexity of Boolean functions
پدیدآورنده: / Ingo Wegener
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algebra, Boolean.,Computational complexity.
رده :
QA
,
10
.
3
,.
W44
,
1987
272. The complexity of Boolean functions
پدیدآورنده: / Ingo Wegener
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Algebra, Boolean,Computational complexity
رده :
E-BOOK
273. The complexity of Boolean networks
پدیدآورنده: Dunne, Paul E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Algebra, Boolean
رده :
QA
267
.
7
.
D85
1988
274. Two applications of logic to mathematics
پدیدآورنده: Takeuti, Gaisi, 6291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978
275. Two applications of logic to mathematics
پدیدآورنده: Takeuti, Gaisi
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
276. simplified independence proofs; Boolean valued models of set theory
پدیدآورنده: / [by] J. Barkley Rosser,Rosser
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Independence(Mathematics),Algebra, Boolean,Set Theory -- Study and teaching
رده :
QA
266
.
R6
277. روش تطبیقی: فراسوی راهبردهای کمی و کیفی
پدیدآورنده: / چارلز ریگین,عنوان اصلی:The comparative method : moving beyond qualitative and quantitative strategies,1987,ریگین,Ragin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: علوم اجتماعی,Social sciences,جبر بول,Algebra, Boolean, -- روشهای تطبیقی, -- Comparative method,a06,a06,a08,a08
رده :
H
۶۱
/
ر
۹۵
ر
۹ ۱۳۸۸
278. مقدمه ای بر روش تحقیق تطبیقی با جبر بولین
پدیدآورنده: تالیف دانیل کارمانی ؛ عباس معدن دارآرانی ... ]و دیگران[,ویراستار علمی لیدا کاکیا,کارامانی? دانیل
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع: علوم اجتماعی -- روش های تطبیقی Social sciences -- Comparative method جبر بول Algebra, Boolean
رده :
H
61
/
ک
18
م
7
279. مقدمه ای بر روش تحقیق تطبیقی با جبر بولین
پدیدآورنده: تالیف: دانیل کارمانی ؛ عباس معدن دارآرانی ... ]و دیگران[,ویراستار علمی لیدا کاکیا,کارامانی Caramani. دانیل , Daniele
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع: علوم اجتماعی -- روش های تطبیقی Social sciences -- Comparative method جبر بول Algebra, Boolean
رده :
H
61
/
ک
18
م
77
280. مقدمه‌ای بر روش تحقیق تطبیقی با جبر بولین
پدیدآورنده: / تالیف دانیل کارمانی، عباس معدن‌دارآرانی ... [و دیگران]، ویراستار علمی لیدا کاکیا,عنوان به زبان اصلی: Introduction to the comparative method with Boolean algebra, c2009.
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: علوم اجتماعی -- روشهای تطبیقی,Comparative method -- Social sciences,جبر بول,Algebra, Boolean
رده :
H
۶۱
/
ک
۲
م
۷
